翻訳と辞書 Words near each other ・ Suphisellus pinguiculus ・ Suphisellus puncticollis ・ Suphisellus remator ・ Suphisellus rotundatus ・ Suphisellus rubripes ・ Suphisellus rufulus ・ Suphisellus sculpturatus ・ Suphisellus sexnotatus ・ Supertram ・ Supertram (Sheffield) ・ Supertramp ・ Supertramp (album) ・ Supertramp (disambiguation) ・ Supertramp (ecology) ・ Supertramp discography ・ Supertransitive class ・ Supertree ・ Supertrios ・ Supertubes ・ SuperTux ・ SuperTuxKart ・ SuperTV ・ Supertwink ・ Superunie ・ Superunknown ・ Superuser ・ SuperValu ・ SuperValu (Canada) ・ SuperValu (Ireland) ・ SuperValu (United States) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Supertransitive class ： ウィキペディア英語版 Supertransitive class In set theory, a supertransitive class is a transitive class 〔Any element of a transitive set must also be its subset. See Definition 7.1 of 〕 which includes as a subset the power set of each of its elements. Formally, let ''A'' be a transitive class. Then ''A'' is supertransitive if and only if :$(\backslash forall\; x)(x\backslash in\; A\; \backslash to\; \backslash mathcal(x)\; \backslash subseteq\; A).$〔See Definition 9.8 of 〕 Here ''P''(''x'') denotes the power set of ''x''.〔''P''(''x'') must be a set by axiom of power set, since each element ''x'' of a class ''A'' must be a set (Theorem 4.6 in Takeuti's text above).〕 ==See also== * Transitive set * Rank (set theory) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Supertransitive class」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.